P in keyof T
→Homomorphic Mapped Type